K($x$,$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$